Constructing ω-stable structures: model completeness
نویسندگان
چکیده
منابع مشابه
Constructing ω-stable Structures: Model Completeness
The projective plane of [2] is model complete in a language with additional constant symbols. The infinite rank bicolored field of [14] is not model complete. The finite rank bicolored fields of [4, 6] are model complete. More generally, the finite rank expansions of a strongly minimal set obtained by adding a ‘random’ unary predicate are almost strongly minimal and model complete provided the ...
متن کاملThe small index property for ω-stable ω-categorical structures and for the random graph
We give a criterion involving existence of many generic sequences of automorphisms for a countable structure to have the small index property. We use it to show that (i) any ω-stable ω-categorical structure, and (ii) the random graph has the small index property. We also show that the automorphism group of such a structure is not the union of a countable chain of proper subgroups.
متن کاملMathematical Logic Homogenizable structures and model completeness
A homogenizable structure M is a structure where we may add a finite number of new relational symbols to represent some ∅−definable relations in order to make the structure homogeneous. In this article we will divide the homogenizable structures into different classes which categorize many known examples and show what makes each class important. We will show that model completeness is vital for...
متن کاملCharacterizing Model Completeness Among Mutually Algebraic Structures
We characterize when the elementary diagram of a mutually algebraic structure has a model complete theory, and give an explicit description of a set of existential formulas to which every formula is equivalent. This characterization yields a new, more constructive proof that the elementary diagram of any model of a strongly minimal, trivial theory is model complete.
متن کاملω-Stable Theories: Introduction
1 ω Stable/Totally Transcendental Theories Throughout let T be a complete theory in a countable language L having infinite models. For an L-structure M and A ⊆ M let SM n (A) denote the set of n-types of A. We define a topology (called Stone topology) on SM n (A) by setting basic open sets to be of the form Uφ = {p ∈ SM n (A) : φ ∈ p} where φ is an L(A)-formula. Then SM n (A) is totally disconn...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2004
ISSN: 0168-0072
DOI: 10.1016/j.apal.2003.10.003